string[] instances
string[] predicates
string goal
